Topics: The notion of Categorical Abstract Machine (CAM). Evaluation in a Cartesian closed category (c.c.c.). Evaluating map. Environment. Examples of expression evaluation. Collision of variables. Eliminating the collision. De Bruijn's encoding. De Bruijn's numerals. Evaluation in a c.c.c. using De Bruijn's encoding. Combinatory glue. The properties of the theories of computation.


This movie is part of the collection: Community Video

Producer: V.E. Wolfengagen
Audio/Visual: sound, color
Language: Russian
Keywords: lambda-calculus; combinatory logic; expression evaluation; theory of computation

Creative Commons license: Attribution-Noncommercial-No Derivative Works 3.0

Individual Files

Be the first to write a review
Downloaded 211 times Reviews